Reader reproduction instructions

Compile main.tex using a compatible LaTeX distribution with the packages it lists.
Python standard library reproduction, from this package root:
  python -B -O supplement/reproduce_all.py --workdir /absolute/new/work
  python -B -O supplement/check_manuscript.py --manuscript main.tex --evidence /absolute/new/work --output /absolute/new/work/manuscript_check.json
The work directory must not exist. The source-only runner copies every required
script and rational input; it does not require private history or saved reviews.
Full interval covers may take tens of minutes. General proofs remain analytic;
the programs certify only their stated finite domains and arithmetic claims.
